H ?
«
‹
←
→
›
»
Language peer sets for Mizar QC:
Poland↑
Poland/1977↑
Designed 1977 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Mizar QC(ID:7817/)
alternate simple view
Country: Poland
Designed 1977
first implementation of Mizar - had "neither functional notation nor definitional facilities"
Related languages
References:
(1977) Trybulec, A., Informationslogische Sprache Mizar, Dokumentation-Information, Heft 33, Ilmenau, 1977
(1978) Trybulec, A., The Mizar-QC/6000 Logic Information Language, ALLC Bulletin, Vol.6, No 2, 1978
(1980) Trybulec, A., The Mizar Logic Information Language, Studies in Logic, Grammar and Rhetoric, Vol.1, Bialystok, 1980
Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992
Extract:
Intro
Extract:
History of Mizar
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|